Μ operator

Results: 274



#Item
51XSLT / Static single assignment form / Regular expression / Algorithm / Μ operator / Computing / Software engineering / Symbol

PDF Document

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2014-04-24 04:55:18
52Functions and mappings / Function / Entailment / Universal property / Μ operator / Linear temporal logic / Mathematics / Logic / Mathematical logic

1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view

Add to Reading List

Source URL: math.andrej.com

Language: English - Date: 2014-07-19 08:49:25
53Calculus of variations / Wave equation / Function / Spectral theory / Μ operator / Spectral theory of ordinary differential equations / Mathematics / Mathematical analysis / Functions and mappings

Rabinovich et al. Advanced Modeling and Simulation in Engineering Sciences:3 DOIs40323RESEARCH ARTICLE

Add to Reading List

Source URL: www.amses-journal.com

Language: English
54Μ operator

Online Algorithms for Geographical Load Balancing Minghong Lin∗ , Zhenhua Liu∗ , Adam Wierman∗ , Lachlan L. H. Andrew† ∗ California Institute of Technology, Email: {mhlin,zhenhua,adamw}@caltech.edu † Swinburn

Add to Reading List

Source URL: users.monash.edu

Language: English - Date: 2014-01-09 20:52:45
    55Knowledge representation / Interpretation / Constructible universe / Entailment / Linear temporal logic / Μ operator / Logic / Model theory / Belief revision

    Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande Abhaya C. Nayak Maurice Pagnucco∗ School of CSE School of Computing Science

    Add to Reading List

    Source URL: www.cs.sfu.ca

    Language: English - Date: 2003-09-08 16:38:27
    56Theory of computation / Mathematics / Mathematical sciences / Μ operator / Primitive recursive function / Markov models / Markov chain / Computability theory

    CHAIN LADDER CORRELATIONS Greg Taylor Taylor Fry Consulting Actuaries Level 11, 55 Clarence Street Sydney NSW 2000

    Add to Reading List

    Source URL: fbe.unimelb.edu.au

    Language: English - Date: 2013-08-05 02:23:08
    57Operator theory / Mathematical sciences / Μ operator / Analysis / Symbol / Data analysis / Probability theory / Variance

    The Effects of Sharp Selection under Gaussian Assumptions Assume X, X 0 i.i.d. N (0, 1). Then for 0 < c < 1 let s = (1 − c2 )1/2 and define B = cX + sX 0 , U =X ,

    Add to Reading List

    Source URL: stat.wharton.upenn.edu

    Language: English - Date: 2006-10-04 02:47:10
    58Function / Boolean algebra / Canonical form / FO / Mutual information / Μ operator / Mathematics / Mathematical logic / Algebraic logic

    REVISIONS These pages are revisions, mostly new material, for Hacker’s Delight. This material is relative to the sixth printing. --Page 4, insert this new paragraph just before Section 1–2:

    Add to Reading List

    Source URL: www.hackersdelight.org

    Language: English - Date: 2012-03-29 17:07:13
    59Central limit theorem / Markov chain / Μ operator / Linear temporal logic / Statistics / Probability and statistics / Normal distribution

    Ergodic averages for monotone functions using upper and lower dominating processes Jesper Møller Department of Mathematical Sciences, Aalborg University, Denmark. Kerrie Mengersen

    Add to Reading List

    Source URL: people.math.aau.dk

    Language: English - Date: 2006-01-10 11:20:10
    UPDATE